Software Verification Programmi... Maria Christakis (ed... Paperback Published 06 Dec 2020 Save $7.59 RRP $61.51 $53.92 In Stock